Clue Deduction: Professor Plum Teaches Logic
نویسندگان
چکیده
In this paper, we describe curricular materials that use the game of Clue to teach basic concepts of propositional logic. While there are many ways of teaching concepts of logic, this approach is distinct in that it is (1) goal-oriented, culminating in a fun project where students implement expert Clue deduction, (2) minimalistic, covering many important concepts within the simple domain of propositional logic, and (3) extensible, inviting students to extend the project further in several significant directions through advanced study of knowledge representation and reasoning topics.
منابع مشابه
What Genetics Offers Geobiology
For over 50 years, the Parker Brothers’ board game “Clue” has maintained its position as the classic family detective game. A murder has been committed in the mansion, but we don’t know where, by whom, or how. Was it Professor Plum in the study with a knife, or Miss Scarlett in the ballroom with a candlestick? Through rolls of the dice, fragments of information patiently accumulated piece-by-pi...
متن کاملA CLUE from Chromatography:
Professor Plum was murdered in his new SMC science building office! Unfortunately, the killer was clever enough to eliminate most physical evidence of how the crime was committed. Your boss, Inspector Clouseau of Santa Monica Homicide has called in your team of forensic chemists to examine a blood stain found on the carpet under Professor Plum's desk for possible clues. It is hoped that chemica...
متن کاملA CLUE from Chromatography:
Professor Plum was murdered in his new SMC science building office! Unfortunately, the killer was clever enough to eliminate most physical evidence of how the crime was committed. Your boss, Inspector Clouseau of Santa Monica Homicide has called in your team of forensic chemists to examine a blood stain found on the carpet under Professor Plum's desk for possible clues. It is hoped that chemica...
متن کاملLogic for Mathematical Writing
In the School of Mathematical Sciences at Queen Mary in the University of London we have been running a module that teaches the students to write good mathematical English. The module is for second-year undergraduates and has been running for three years. It is based on logic, but the logic—though mathematically precise—is informal and doesn’t use logical symbols. Some theory of definitions is ...
متن کاملSentences, Belief and Logical Omniscience, or What does Deduction Tell US?
We propose a model for belief which is free of presuppositions. Current models for belief suffer from two difficulties. One is the well known problem of logical omniscience which tends to follow from most models. But a more important one is the fact that most models do not even attempt to answer the question what it means for someone to believe something, and just what it is that is believed. W...
متن کامل